the content of this folder is the zenodo repository, reference [3] in the paper.

Basile, D.: Modelling and verifying the Contract Automata Runtime Environment,
complementary material. https://doi.org/10.5281/zenodo.8017613